#include <shared_data.h>
#include <Scheduler.h>
#include <StopWatch.h>


/* The configuration */
CSPConfig *configuration;

//Scheduler scheduler;

StopWatch sw_spu;

